Rational numbers have order {order relation}.
If a is less than b, then a + c is less than b + c for all c, and a*c is less than b*c for all positive c {consistency relation}, where a b c are rational numbers.
If a is less than b, some c is greater than a and less than b {density relation}, where a b c are rational numbers.
For interval from b to c, some a are less than c and greater than b {extension relation}, where a b c are rational numbers.
If a is less than b, and if b is less than c, then a is less than c {transitivity relation} {transitive law} {transitivity, number}, where a b c are rational numbers.
For rational numbers a and b, a is greater than b, equal to b, or less than b {trichotomy relation}.
Outline of Knowledge Database Home Page
Description of Outline of Knowledge Database
Date Modified: 2022.0225